منابع مشابه
Singleton Kinds and Singleton Types
In this dissertation I study the properties of singleton kinds and singleton types. These are extremely precise classi ers for types and values, respectively: the kind of all types equal to [a given type], and the type of all values equal to [a given value]. Singletons are interesting because they provide a very general and modular form of de nition, allow ne-grained control of type computation...
متن کاملVINCENT F . HENDRICKS Modal Operator Theory
Formal treatments of epistemology and epistemological issues have come a great way in recent years. Valuable results have been produced by Bayesians, in formal learning theory (also known as computational epistemology in [Kelly 96] and epistemic logic. While the first to formal approaches concentrate on learning and knowledge acquisition issues, the latter concentrate on axiomatics and validity...
متن کاملNIELSEN SunSoft ROBERT L . MACK IBM
The cognitive walkthrough (Lewis et al. 1990; Polson et al. 1992a) is a usability inspection method that focuses on evaluating a design for ease of learning, particularly by exploration. This focus is motivated by the observation that many users prefer to learn software by exploration (Carroll and Rosson 1987; Fischer 199 1). Instead of investing time for comprehensive formal training when a s ...
متن کاملSingleton Consistencies
We perform a comprehensive theoretical and empirical study of the benefits of singleton consistencies. Our theoretical results help place singleton consistencies within the hierarchy of local consistencies. To determine the practical value of these theoretical results, we measured the cost-effectiveness of pre-processing with singleton consistency algorithms. Our experiments use both random and...
متن کاملScott Hendricks the Frame Problem and Theories of Belief
The frame problem is the problem of how we selectively apply relevant knowledge to particular situations in order to generate practical solutions. Some philosophers have thought that the frame problem can be used to rule out, or argue in favor of, a particular theory of belief states. But this is a mistake. Sentential theories of belief are no better or worse off with respect to the frame probl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Celestinesca
سال: 2021
ISSN: ['0147-3085', '2695-7183']
DOI: https://doi.org/10.7203/celestinesca.4.19515